predToStr (Op f) = Op (\x -> if f x then "T" else "F")